中低压泵消防车高层供水计算

本文根据中低压泵消防车的性能，介绍了利用中低压泵消防车扑救高层建筑火灾最大供水高度和不同高度时车泵出口压力的计算方法。     

潞安矿区煤田钻井造浆土实验研究

针对潞安矿区煤田钻探造浆用土进行了室内实验测试与分析,通过造浆率的测试和造浆改性实验,得出其造浆率极低、利用常规的方法不能调节现场造浆土造浆性能的结论;实验研究了现场造浆土的矿物成分、粒度成分及其造浆后的失水量、胶体率和比重,得出现场土不适合作为泥浆造浆用土,进而对潞安矿区煤田钻孔造浆土进行了推荐。     

双语法规则程序依赖性分析

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。     

Grammar directed gödel numberings

The usual methods for associating natural numbers to syntactical objects (Gödel's coding based on prime numbers, codings via pairing functions or by enumerations) are either very complex or produce very high numbers, due to the fact that the numbering is with gaps.

In this paper we propose a method for obtaining good Gödel numberings which is based on the grammatical structure of the language to be coded.

The arithmetization is directed by a top-down parsing algorithm and it works only for context-free unambiguous grammars. It is proved that the coding function such obtained is a bijection between language and natural numbers and its computational complexity is lower than that of the enumerative coding. As an example, Cantor's pairing function is derived. Finally, it is shown how to apply the algorithm for obtaining good Gödel numberings for languages associated to first-order theories.     

基于VegaPrime的飞行器视景仿真关键技术研究

给出了某型飞行器飞行视景仿真系统的结构框架，提出了基于OpecGL图形编程绘制二维窗口实现二三维联动的方法，该方法简单且效率高．采用嵌套使用碰撞检测器的方法，实现了复杂碰撞检测的预检测，降低了系统的计算量．在经典粒子系统的原理上，用纹理贴图代替粒子实现了特殊效果模拟，节省了系统资源开销．     

景象匹配辅助导航在弹道导弹末制导中的应用

对景象匹配定位导航的工作原理进行了数学化描述,讨论SINS/SMNS组合导航系统的信息融合算法,重点研究了其中两种信息融合算法：外推法和Lyapunov自适应滤波算法.通过仿真实验表明,景象匹配可有效地减小组合导航系统的位置误差.     

基于高程选择的SAR景象匹配系统基准图选择准则

景象匹配技术是飞行器自主精确制导的关键技术之一,随着武器系统日益精确化,影响匹配制导精度的基准图选择得到了广泛的关注.在合成孔径雷达侧视成像机理的基础上,讨论了高程起伏对SAR图像的影响,引入了图像高程方差的概念.同时,以图像匹配的准确性、稳定性、可靠性为考察量,讨论了各特征参数对匹配性能的影响.文中对真实星载SAR图像进行匹配试验的结果表明,此准则是有效的.     

Do infants segment words or recurring contiguous patterns?

Eight experiments tested the hypothesis that infants' word segmentation abilities are reducible to familiar sound-pattern parsing regardless of actual word boundaries. This hypothesis was disconfirmed. in experiments using the headturn preference procedure: 8.5-month-olds did not mis-segment a consonantvowel- consonant (CVQ word (e.g., dice) from passages containing the corresponding phonemic pattern across a word boundary (C#VC#; "cold ice"), but they segmented it when the word was really present ("roll dice"). However, they did not segment the real vowel-consonant (VC) word (ice in "cold ice") until 16 months. Yet, at that age, they still did not false alarm on the straddling CVC word. Thus, infants do not simply respond to recurring phonemic patterns. Instead, they are sensitive to both acoustic and allophonic cues to word boundaries. Moreover, there is a sizable developmental gap between consonant and vowel-initial word segmentation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于面向对象八叉树的飞机虚拟维修场景渲染

为了加速大规模虚拟场景的渲染速度,采用基于面向对象八叉树的方法对场景进行渲染。该方法将面向对象技术与传统八叉树技术相结合,采用面向对象八叉树剖分虚拟场景,对场景进行管理;将物体结构树的最小零部件作为最小存储单元,采用叶节点保存对象信息,减小树的存储量和处理时间,降低算法的计算负担;在面向对象八叉树的基础上,采用模型遮挡裁剪算法对位于视域范围内的模型进行遮挡裁剪,减小实际渲染的物体数量,提高渲染速率。通过对飞机虚拟维修场景进行渲染实验,证明了该方法的有效性。     

基于前景理论的居民出行方式选择

对于实际出行中居民心理因素对出行方式选择的影响问题,构建基于前景理论的居民出行方式选择模型,提出了一种更加符合人类思维习惯的出行方式选择方法。综合考虑居民对行程时间及出行费用两种指标的心理参照点,得出相对最能使居民满意的出行方式选择结果;通过不同参照点下出行方式的综合前景值的变化分析了参照点对出行方式的选择的影响;最后通过实例说明了此方法在出行方式选择中的应用。实验结果表明：行程时间参照点要求较低的小范围内居民倾向于公交出行,尽管出租车与私家车出行方式综合前景值趋势变化一致,但更大范围内的居民倾向于私家车出行,这与实际相符。所提方法为预测居民出行方式提供了一种新的途径。